public final void addDefinitelyAssignedVariables(Scope scope,
		int initStateIndex) {
	/* test
	*/
}